<?php
/**
 * @file test016.php
 * @desc
 *   测试 is_integer()
 */

$str = "123456";
var_dump( (int)$str );
var_dump( is_integer( (int)$str ) );

?>